一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

外语学习中词典使用的策略与技能

英语学习离不开词典等工具书。学习质量和成效在某种程度上与词典使用效率高低或能否恰当使用词典存在着一定关系。本文拟从词典用户技能、用户认知能力、认知水平、认知策略和心理表征,分析学生在外语学习过程中词典使用效率低下,排斥疏离词典,忽略词典文本与词典用户的互动关系及词典使用不当等主要原因,并提出问题策略。     

大学新生外语学习观念探析

我们采用问卷和访谈的方法,对50多名英语专业新生的外语学习观念进行调查。调查涉及:语言性质、语言学习性质、语言学习策略。提出大学新生作为处于转型期的特殊群体,其外语学习观念将直接影响学习结果。因此,教师必须了解学生的语言学习观念,尽早纠正不正确的观念,帮助学生有效地学习外语。     

语料库研究与外语教材编写

语料库语言学的发展已经使现有的外语教材和语法书中的不足初现端倪,教材编写中的主观性逐渐受到质疑。探讨了语料库研究对外语教材编写的启示,语料库作为教材的直接语料源泉以及将语料库作为检验外语教材的手段等问题,旨在推进对语料库信息的利用,借助语料库技术提高外语教材编写的质量。     

中美外语课堂教学差异比较研究

中国和美国在教育理念和教学方式方面存在着较大差异,从中美教师在外语课堂上对学生的培养方式、培养重点和评价标准以及课堂的教学方式方法、教学手段等诸多方面进行比较,发现中美外语教学中的差异,进而找出我国现行外语课堂教学的不足,并有针对性地提出了几点改进建议,希望能对我国外语教学质量的提高起到抛砖引玉的作用。     

矢量图形的知识获取与XML文档的智能生成

提出了一种从矢量图形中抽取出图元关联规则知识,利用正向知识推理来完成整个图形中图元的搜索,并获取各个图元信息智能生成文本信息的方法。这是一种通用的图文转换的智能生成方法,不同类型的矢量图形只需更换图元关联知识,都能利用知识推理方法智能生成XML(ExtensibleMarkupLanguage)文本。通过舰艇编队突击方案图转换成突击方案XML文本的实例进行了说明。     

网络攻击螺旋模型构建及运用研究

网络攻击模型是实施网络攻击的基本遵循依据,本文分析了经典网络攻击链模型存在的适用性不足、全面性欠缺、整体性不够三个主要问题,构建了更适合描述APT攻击的网络攻击螺旋模型。该模型将网络攻击活动描述为侦察、武器化、渗透与破坏、横向移动、撤出以及评估与改进6个阶段,并设置为螺旋循环式结构,通过对攻击链模型的优化与重构,使模型层次更加分明,任务更加明确,功能更加完备。在此基础上,对模型中各阶段行动应当完成的攻击任务和采取的攻击方式进行了梳理,运用统一建模语言从静态和动态两个方面对网络攻击螺旋模型在APT攻击中的运用方式进行了形式化描述,梳理了该模型的运用原则和特性,对分析识别APT攻击行为并采取针对性防御措施阻断攻击链具有一定借鉴意义。     

二语熟练度及语言使用特征对双语者抑制控制能力的影响

本文考察双语者二语熟练程度及不同语言使用特征对其抑制控制能力影响的差异。根据二语的熟练程度将被试分为熟练双语者组和不熟练双语者组,在熟练组和不熟练组中根据不同的语言使用特征划分为以口语为主和以阅读为主的两个被试组。所有被试都参与Stroop任务、Simon任务和Flanker任务。结果发现:熟练度高的双语者在三种任务中均表现出了优势反应。说明二语熟练程度对双语者的抑制控制能力有着促进作用;在不同语言使用特征组中,两组被试在simon任务与stroop任务中表现无显著差异,但表现出明显的CA效应。表明二语熟练度影响双语者的抑制控制能力;语言使用特征的不同对双语者的抑制控制能力无显著影响。     

论英语幽默的文化色彩及语义基础

将英语中的幽默界定为“情景幽默”和“语言幽默” ;通过实例分析 ,着重探讨了修辞格在幽默语言中的作用、幽默语言的语义学基础 ,以及研究幽默对感受英语语言文化的意义     

数据并行程序设计语言中分布数组的地址计算

本文讨论了在大规模并行计算机上实现数据并行程序设计语言的关键问题──分布数组的地址计算问题。文中详细给出了维分布数组的下标地址计算公式,分布数组的内情向量结构以及分布数组映射函数算法,并对有关编译实现技术进行了探讨。